1. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
2. Guidance for the verification and validation of neural networks
پدیدآورنده : Pullum, Laura L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Neural networks )computer science(,، Computer software- Verifiation
رده :
QA
76
.
87
.
P85
3. Independent verification and validation: a life cycle engineering process for quality software
پدیدآورنده :
موضوع : Computer software-Verification,Computer software-Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
5. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
6. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده : / hnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenعReiner H
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
7. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
9. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
10. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
11. Methods and procedures for the verification and validation of artificial neural networks
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Astronautics ; Data processing. ; Neural networks (Computer science) ; Artificial intelligence. ; Computer software ; Verification. ; Computer software ; Validation. ;
12. Methods and procedures for the verification and validation of artificial neural networks
پدیدآورنده : / edited by Brian J. Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Astronautics- Data processing,Neural networks (Computer science),Artificial intelligence,Computer software- Verification,Computer software- Validation
رده :
TL1078
.
M475
2006
13. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
14. 21, 2010, Proceedings, Part I-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
15. 18, 2012, Proceedings, Part II-Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15
پدیدآورنده : / Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
16. 21, 2010, Proceedings, Part II-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18
پدیدآورنده : / Tiziana Margaria, Bernhard Steffen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
17. Software engineering reviews and audits
پدیدآورنده : Boyd L. Summers
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Computer software, Validation,Computer software, Verification
رده :
QA
،
76
.
758
،.
S86
،
2011
18. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011
19. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011